COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	>Bossu, Genevieve and Siegel, Pierre\La Saturation au secours de la non-monotonic\
C00007 ENDMK
C⊗;
>Bossu, Genevieve and Siegel, Pierre\La Saturation au secours de la non-monotonic\
*(Where the saturation rescues the non-monotony)\Marseilles, France, 1981.

*Creary, Lewis G.\On the epistemology of commonsense factual reasoning: beyond
>anti-logicism and non-monotonicity\Stanford Univ.\1981.

Davis, Martin\The Mathematics of Non+Monotonic Reasoning\Artificial Intelligence 13\
1980

>Doyle, Jon,\Non-monotonic logics and mechanized non-deductive reasoning\
*  Stanford University\1981.

Doyle, Jon\A truth maintenance system\MIT, AI Memo 521\1979.

>Etherington, David W.\Formalizing Non-Monotonic Reasoning Systems\Univ. of
*British Columbia, Dept. of Computer Science, Tech. Report 83-1\unknown.
*Copy in Non-Monotonic File also.

*Etherington, David W.\Finite Default Theories (thesis)\Univ. of British
>Columbia\August 1982.  Also in non-monotonic file.

Fahlman, Scott; Touretzky, David S.; Van Roggen, Walter\Cancellation in a Parallel
Semantic Network\IJCAI 81.

>Gabbay, Dov M.\Intuitionistic basis for non-monotonic logic\Univ. of 
*Stuttgart\Unknown.

Ginsberg, M.L.\Non-monotonic Reasoning Using Dempster's Rule.

Lifschitz, Vladimir\A Logic for Non-Monotonic Reasoning, with Application to 
to Minsky's Bird Problem\Univ. of Texas, El Paso.

Lifschitz, Vladimir\A Special Case of Circumscription\Univ. of Texas, El Paso\
Sept. 1983.

>***McDermott, D.\Non-monotonic logic II:  Non-monotonic modal theories\Yale Univ.\
*1980.

McDermott, Drew and Doyle, Jon\Non-Monotonic Logic I\Artificial Intelligence 13\
1980.

Marek, W.\The Forcing Interpretation of the Non-Monotonic Logic\Dept. of Computer 
Science\Univ. of Kentucky\date unknown.

Mercer, R.E. and Reiter, R.\ The Representation of Presuppositions Using Defaults\
Univ. of British Columbia\Tech. report 82-1\March 1982.

*Minker, Jack\On indefinite databases and the closed world assumption\Univ. of
>Maryland\1981.  Non-Monotonic

Minker, J.\ Applications of Protected Circumscription\unknown.

Minker, J. and Perlis, D.\ On the Semantics of Circumscription (draft)\ Univ.
of Maryland\July 1983.

>Moore, Robert C.\Semantical Considerations on Nonmonotonic Logic\SRI, Tech Note 284\
*June 1983.

Reiter, Raymond and Criscuolo, Giovanni\Some Representational issues in Default
Reasoning\Comp & Maths with Appls. Vol 9, No. 1\1983

Reiter,R.\A Logic for Default Reasoning\Artificial Intelligence 13\1980.

>Sandewall, Erik\Partial Models, Attribute Propagation Systems, and Non-Monotonic
*Semantics\Linkoping Univ\LITH-IDA-R-83-01\December 1983.